Merge "Update JGit to 0.5.1.141-g3eee606"